EN FR
EN FR


Section: Dissemination

Teaching - Supervision - Juries

Teaching

  • License: M. Tisi, Projet IPIPIP, 8h, L2, Ecole des Mines de Nantes

  • License: M. Tisi, Projet Integrateur PRIME, 12h, L3, Ecole des Mines de Nantes

  • License: M. Tisi, Programmation, 40h, L2, Ecole des Mines de Nantes

  • License: M. Tisi, Bases de Données, 33h, L3, Ecole des Mines de Nantes

  • License: M. Tisi, Interaction Homme-Machine, 14h, L3, Ecole des Mines de Nantes

  • License: S. Martínez, Bases de Données, 33h, L3, Ecole des Mines de Nantes

  • License: S. Martínez, Interaction Homme-Machine, 14h, L3, Ecole des Mines de Nantes

  • License: J. Cabot, Projet IPIPIP, 8h, L2, Ecole des Mines de Nantes

  • License: J. Cabot, Model-driven Engineering, 45h, L1, Ecole des Mines de Nantes

  • Master: J. Cabot, Master MIAGE - Object Constraint Language, 4h, M1, Université de Nantes

  • Master : G. Sunyé, Genie logiciel, 90h, M1, Université de Nantes

  • Master : G. Sunyé, Verification et tests, 56h, M1, Université de Nantes

  • Master : G. Sunyé, Nouveaux usages de l'informatique pour l'entreprise, 23h, M1, Université de Nantes

  • Master : G. Sunyé, Developpement du logiciel, 44h, M1, Université de Nantes

  • Master: J. Canovas, Master MIAGE - Domain Specific Languages, 6h, Université de Nantes.

  • License: J. Canovas, Projet IPIPIP, 8h, L2, Ecole des Mines de Nantes

Supervision

  • PhD : Valerio Cosentino, Extraction and refactoring of Business Logic from Legacy Applications, December 19th, 2013, Jordi Cabot, Patrick Albert

  • PhD : Tam Le Nham, Model-Driven Software Engineering for Virtual Machine Images Provisioning in Cloud Computing, Université de Rennes 1, December 10th 2013, Jean-Marc Jézéquel, Gerson Sunyé

  • PhD in progress : Carlos A. González, Pragmatic Model Verification, Jordi Cabot

  • PhD in progress : Salvador Martínez Pérez, Automatic reconstruction and analysis of semantic network security policies from deployed security components, Jordi cabot and Frédéric Cuppens

  • PhD in progress : Olivier Finot, Oracles du test de transformation de modeles, Université de Nantes, Septembre 2010, Christian Attiogbé (Directeur), Jean-Marie Mottu, Gerson Sunyé

Juries

  • Jordi Cabot was a member of the jury of the thesis of Thang Quyet Pham (Telecom Bretagne), Jad MATAR (Ecole Centrale Nantes) and Aymeric Hervieu (Inria/IRISA)